<!-- ###FULLDOC### begin -->
<f:render section="main" />
<script type="text/javascript">
	var liveUrl = '{liveUrl}';
	var wsUrl = '{wsUrl}';
	var wsSettingsUrl = '{wsSettingsUrl}';
	document.domain = '{backendDomain}';

	function resize(height) {
			// poor way to avoid that we require any scrollbars within the frames
		if (Ext.getCmp('wsContainer')) {
			var currentHeight = isNaN(Ext.getCmp('wsContainer').getHeight()) ? 0 : Ext.getCmp('wsContainer').getHeight();
			var finalHeight = Math.max(currentHeight, height * 1.1);
			Ext.getCmp('visualPanel').setHeight(finalHeight);
			Ext.getCmp('wsContainer').setHeight(finalHeight);
			Ext.getCmp('wsPanel').setHeight(finalHeight);
			Ext.getCmp('liveContainer').setHeight(finalHeight * (100 - Ext.getCmp('sizeSlider').getValue()) / 100);
			Ext.getCmp('livePanel').setHeight(finalHeight);
		}
	}
</script>
